25. IJCAI 2016: New York, NY, USA
Subbarao Kambhampati:
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016. IJCAI/AAAI Press 2016, ISBN 978-1-57735-770-4
Frontmatter

Conference Organization. xxxv-xxvi
Program Committee. xxxvii-lii
Conference Organizers and Sponsors. liii-liv
Awards and Distinguished Papers. lv-lvi
IJCAI Organization. lvii-liix
Past IJCAI Conferences. lix
Papers
Andrés Abeliuk, Haris Aziz, Gerardo Berbeglia, Serge Gaspers, Petr Kalina, Nicholas Mattei, Dominik Peters, Paul Stursberg, Pascal Van Hentenryck, Toby Walsh:
Interdependent Scheduling Games. 2-9
Pritee Agrawal, Pradeep Varakantham, William Yeoh:
Scalable Greedy Algorithms for Task/Resource Constrained Multi-Agent Stochastic Planning. 10-16
Nirav Ajmeri, Jiaming Jiang, Rada Chirkova, Jon Doyle, Munindar P. Singh:
Coco: Runtime Reasoning about Conflicting Commitments. 17-23
Natasha Alechina, Mehdi Dastani, Brian Logan:
Verifying Existence of Resource-Bounded Coalition Uniform Strategies. 24-30
Georgios Amanatidis, Georgios Birmpas, Evangelos Markakis:
On Truthful Mechanisms for Maximin Share Allocations. 31-37
Giovanni Amendola, Gianluigi Greco, Nicola Leone, Pierfrancesco Veltri:
Modeling and Reasoning about NTU Games via Answer Set Programming. 38-45
Vincenzo Auletta, Ioannis Caragiannis, Diodato Ferraioli, Clemente Galdi, Giuseppe Persiano:
Generalized Discrete Preference Games. 53-59

Yoram Bachrach, Yuval Filmus, Joel Oren, Yair Zick:
A Characterization of Voting Power for Discrete Weight Distributions. 74-80
Nathanaël Barrot, Jérôme Lang:
Conditional and Sequential Approval Voting on Combinatorial Domains. 88-94
Francesco Belardinelli, Andreas Herzig:
On Logics of Strategic Ability Based on Propositional Control. 95-101
Bernhard Bliem, Robert Bredereck, Rolf Niedermeier:
Complexity of Efficient and Envy-Free Resource Allocation: Few Agents, Resources, or Utility Levels. 102-108
Florian Brandl, Felix Brandt, Christian Geist:
Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving. 116-122
Simina Brânzei, Yuezhou Lv, Ruta Mehta:
To Give or Not to Give: Fair Division for Single Minded Valuations. 123-129
Markus Brill, Edith Elkind, Ulle Endriss, Umberto Grandi:
Pairwise Diffusion of Preference Rankings in Social Networks. 130-136
Ioannis Caragiannis, Laurent Gourvès, Jérôme Monnot:
Achieving Proportional Representation in Conference Programs. 144-150
Ioannis Caragiannis, Swaprava Nath, Ariel D. Procaccia, Nisarg Shah:
Subset Selection via Implicit Utilitarian Voting. 151-157
Mithun Chakraborty, Sanmay Das:
Trading on a Rigged Game: Outcome Manipulation in Prediction Markets. 158-164
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Josef Tkadlec:
Robust Draws in Balanced Knockout Tournaments. 172-179
Taolue Chen, Fu Song, Zhilin Wu:
Verifying Pushdown Multi-Agent Systems against Strategy Logics. 180-186
Yukun Cheng, Xiaotie Deng, Qi Qi, Xiang Yan:
Truthfulness of a Proportional Sharing Mechanism in Resource Exchange. 187-193
Yun Kuen Cheung:
Better Strategyproof Mechanisms without Payments or Prior - An Analytic Approach. 194-200
Ross Conroy, Yifeng Zeng, Jing Tang:
Approximating Value Equivalence in Interactive Dynamic Influence Diagrams Using Behavioral Coverage. 201-207


Palash Dey, Neeldhara Misra, Y. Narahari:
Complexity of Manipulation with Partial Information in Voting. 229-235
Ulle Endriss, Svetlana Obraztsova, Maria Polukarov, Jeffrey S. Rosenschein:
Strategic Voting with Incomplete Information. 236-242
Piotr Faliszewski, Piotr Skowron, Arkadii Slinko, Nimrod Talmon:
Committee Scoring Rules: Axiomatic Classification and Hierarchy. 250-256
Piotr Faliszewski, Laurent Gourvès, Jérôme Lang, Julien Lesca, Jérôme Monnot:
How Hard Is It for a Party to Nominate an Election Winner?. 257-263
Paolo Felli, Brian Logan, Sebastian Sardiña:
Parallel Behavior Composition for Manufacturing. 271-278
Dimitris Fotakis, Dimitris Palyvos-Giannas, Stratis Skoulakis:
Opinion Dynamics with Local Interactions. 279-285
Enrico H. Gerding, Sebastian Stein, Sofia Ceppi, Valentin Robu:
Online Mechanism Design for Vehicle-to-Grid Car Parks. 286-293
Julio Godoy, Ioannis Karamouzas, Stephen J. Guy, Maria L. Gini:
Moving in a Crowd: Safe and Efficient Navigation among Heterogeneous Agents. 294-300
Nika Haghtalab, Fei Fang, Thanh Hong Nguyen, Arunesh Sinha, Ariel D. Procaccia, Milind Tambe:
Three Strategies to Success: Learning Adversary Models in Security Games. 308-314
Xiaowei Huang, Qingliang Chen, Jie Meng, Kaile Su:
Reconfigurability in Reactive Multiagent Systems. 315-321

Thanasis Lianeas, Evdokia Nikolova, Nicolás E. Stier Moses:
Asymptotically Tight Bounds for Inefficiency in Risk-Averse Selfish Routing. 338-344
Hongyao Ma, Valentin Robu, Na Li, David C. Parkes:
Incentivizing Reliability in Demand-Side Response. 352-358

Mehdi Mashayekhi, Hongying Du, George F. List, Munindar P. Singh:
Silk: A Simulation Study of Regulating Open Normative Multiagent Systems. 373-379
Georgios Methenitis, Michael Kaisers, Han La Poutré:
Incentivizing Intelligent Customer Behavior in Smart-Grids: A Risk-Sharing Tariff & Optimal Strategies. 380-386
Vahab S. Mirrokni, Renato Paes Leme, Pingzhong Tang, Song Zuo:
Dynamic Auctions with Bank Accounts. 387-393

Jayanth Krishna Mogali, Stephen F. Smith, Zachary B. Rubinstein:
Distributed Decoupling of Multiagent Simple Temporal Problems. 408-415
Dmitry Moor, Sven Seuken, Tobias Grubenmann, Abraham Bernstein:
Core-Selecting Payment Rules for Combinatorial Auctions with Uncertain Availability of Goods. 424-432
Harikrishna Narasimhan, Shivani Agarwal, David C. Parkes:
Automated Mechanism Design without Money via Machine Learning. 433-439
Svetlana Obraztsova, Zinovi Rabinovich, Edith Elkind, Maria Polukarov, Nicholas R. Jennings:
Trembling Hand Equilibria of Plurality Voting. 440-446
Tenda Okimoto, Tony Ribeiro, Damien Bouchabou, Katsumi Inoue:
Mission Oriented Robust Multi-Team Formation and Its Application to Robot Rescue Simulation. 454-460
Pierre Rust, Gauthier Picard, Fano Ramparany:
Using Message-Passing DCOP Algorithms to Solve Energy-Efficient Smart Environment Configuration Problems. 468-474
Wen Shen, Cristina V. Lopes, Jacob W. Crandall:
An Online Mechanism for Ridesharing in Autonomous Mobility-on-Demand Systems. 475-481

Tamir Tassa, Roie Zivan, Tal Grinshpoun:
Preserving Privacy in Region Optimal DCOP Algorithms. 496-502
Elaine Wah, Sébastien Lahaie, David M. Pennock:
An Empirical Game-Theoretic Analysis of Price Discovery in Prediction Markets. 510-516
Kyle Hollins Wray, Luis Enrique Pineda, Shlomo Zilberstein:
Hierarchical Approach to Transfer of Control in Semi-Autonomous Systems. 517-523
Feng Wu, Sarvapali D. Ramchurn, Xiaoping Chen:
Coordinating Human-UAV Teams in Disaster Response. 524-530

Ruohan Zhang, Yue Yu, Mahmoud El Chamie, Behçet Açikmese, Dana H. Ballard:
Decision-Making Policies for Heterogeneous Autonomous Multi-Agent Systems with Safety Constraints. 546-553
Zaheen Farraz Ahmad, Robert C. Holte, Michael Bowling:
Action Selection for Hammer Shots in Curling. 561-567
Thomas Guyet, Yves Moinard, Jacques Nicolas, René Quiniou:
Packing Graphs with ASP for Landscape Simulation. 575-581
Takashi Imamichi, Takayuki Osogami, Rudy Raymond:
Truncating Shortest Path Search for Efficient Map-Matching. 589-595
Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker:
Relevance for SAT(ID). 596-602
Kustaa Kangas, Teemu Hankala, Teppo Mikael Niinimäki, Mikko Koivisto:
Counting Linear Extensions of Sparse Posets. 603-609
Richard E. Korf:
Comparing Search Algorithms Using Sorting and Hashing on Disk and in Memory. 610-616
Javier Larrosa, Emma Rollon, Rina Dechter:
Limited Discrepancy AND/OR Search and Its Application to Optimization Tasks in Graphical Models. 617-623
Kangwei Liu, Junge Zhang, Peipei Yang, Kaiqi Huang:
FastLCD: Fast Label Coordinate Descent for the Efficient Optimization of 2D Label MRFs. 624-630
Ciaran McCreesh, Patrick Prosser, James Trimble:
Heuristics and Really Hard Instances for Subgraph Isomorphism Problems. 631-638
Ole J. Mengshoel, Youssef Ahres, Tong Yu:
Markov Chain Analysis of Noise and Restart in Stochastic Local Search. 639-646
Abdelkader Ouali, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Albrecht Zimmermann, Lakhdar Loukil:
Efficiently Finding Conceptual Clustering Models with Integer Linear Programming. 647-654
Fei Peng, Tuomas Sandholm:
Scalable Segment Abstraction Method for Advertising Campaign Admission and Inventory Allocation Optimization. 655-661
André Grahl Pereira, Robert Holte, Jonathan Schaeffer, Luciana S. Buriol, Marcus Ritt:
Improved Heuristic and Tie-Breaking for Optimally Solving Sokoban. 662-668
Masoud Safilian, S. Mehdi Hashemi, Sepehr Eghbali, Aliakbar Safilian:
An Approximation Algorithm for the Subpath Planning Problem. 669-675

Timothy Yee, Viliam Lisý, Michael H. Bowling:
Monte Carlo Tree Search in Continuous Action Spaces with Execution Uncertainty. 690-697
Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Toby Walsh:
Ranking Constraints. 705-711
Chris Cameron, Holger H. Hoos, Kevin Leyton-Brown:
Bias in Algorithm Portfolio Performance Evaluation. 712-719
Abderrazak Daoudi, Younes Mechqrane, Christian Bessiere, Nadjib Lazaar, El-Houssine Bouyakhf:
Constraint Acquisition with Recommendation Queries. 720-726
Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi:
Combining the k-CNF and XOR Phase-Transitions. 727-734
Zeynep Kiziltan, Marco Lippi, Paolo Torroni:
Constraint Detection in Natural Language Problem Descriptions. 744-750
Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis:
Improving Model Counting by Leveraging Definability. 751-757


Sam Snodgrass, Santiago Ontañón:
Controllable Procedural Content Generation via Constrained Multi-Dimensional Markov Chain Sampling. 780-786
Ruiwei Wang, Wei Xia, Roland H. C. Yap, Zhanshan Li:
Optimizing Simple Tabular Reduction with a Bitwise Representation. 787-795
Ofra Amir, Barbara J. Grosz, Krzysztof Z. Gajos:
Mutual Influence Potential Networks: Enabling Information Sharing in Loosely-Coupled Extended-Duration Teamwork. 796-803
Ofra Amir, Ece Kamar, Andrey Kolobov, Barbara J. Grosz:
Interactive Teaching Strategies for Agent Training. 804-811
Kai Chen, Fangkai Yang, Xiaoping Chen:
Planning with Task-Oriented Knowledge Acquisition for a Service Robot. 812-818
Shaofei Chen, Tim Baarslag, Dengji Zhao, Jing Chen, Lincheng Shen:
A Polynomial Time Optimal Algorithm for Robot-Human Search under Uncertainty. 819-825
Matthew C. Gombolay, Reed Jensen, Jessica Stigile, Sung-Hyun Son, Julie A. Shah:
Apprenticeship Scheduling: Learning to Schedule from Human Experts. 826-833
Eun-Sol Kim, Kyoung-Woon On, Byoung-Tak Zhang:
DeepSchema: Automatic Schema Acquisition from Wearable Sensor Data in Restaurant Situations. 834-840
Thomas M. Moerland, Joost Broekens, Catholijn M. Jonker:
Fear and Hope Emerge from Anticipation in Model-Based Reinforcement Learning. 848-854
Zahra Nazari, Jonathan Gratch:
Predictive Models of Malicious Behavior in Human Negotiations. 855-861
Stephanie Rosenthal, Sai P. Selvaraj, Manuela M. Veloso:
Verbalization: Narration of Autonomous Robot Experience. 862-868
Ngoc Cuong Truong, Tim Baarslag, Sarvapali D. Ramchurn, Long Tran-Thanh:
Interactive Scheduling of Appliance Usage in the Home. 869-877
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus:
Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates. 878-885
Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom:
Query Answering with Transitive and Linear-Ordered Data. 893-899
Leila Amgoud, Jonathan Ben-Naim:
Evaluation of Arguments from Support Relations: Axioms and Semantics. 900-906
Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña:
Incomplete Causal Laws in the Situation Calculus Using Free Fluents. 907-914
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance:
Online Agent Supervision in the Situation Calculus. 922-928
Christoph Benzmüller, Bruno Woltzenlogel Paleo:
The Inconsistency in Gödel's Ontological Argument: A Success Story for AI in Metaphysics. 936-942
Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds:
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau. 950-956
Meghyn Bienvenu, Camille Bourgaux, François Goasdoué:
Query-Driven Repairing of Inconsistent DL-Lite Knowledge Bases. 957-964
Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter:
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. 965-971
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti:
Automated Synthesis of Timed Failure Propagation Graphs. 972-978
Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub, Stefan Woltran:
ASP for Anytime Dynamic Programming on Tree Decompositions. 979-986
Stefan Borgwardt, Bettina Fazzinga, Thomas Lukasiewicz, Akanksha Shrivastava, Oana Tifrea-Marciuska:
Preferential Query Answering over the Semantic Web with Possibilistic Networks. 994-1000
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query-Based Entailment and Inseparability for ALC Ontologies. 1001-1007
Simone Bova, Florent Capelli, Stefan Mengel, Friedrich Slivovsky:
Knowledge Compilation Meets Communication Complexity. 1008-1014
Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub:
An ASP Semantics for Default Reasoning with Constraints. 1015-1021
Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy:
Plan Synthesis for Knowledge and Action Bases. 1022-1029
Tristan Charrier, Bastien Maubert, François Schwarzentruber:
On the Impact of Modal Depth in Epistemic Planning. 1030-1036
Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio:
Imperfect-Information Games and Generalized Planning. 1037-1043
Paul E. Dunne, Christof Spanring, Thomas Linsbichler, Stefan Woltran:
Investigating the Relationship between Argumentation Semantics via Signatures. 1051-1057
Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl:
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. 1058-1065
Xiaoyu Ge, Jae Hee Lee, Jochen Renz, Peng Zhang:
Trend-Based Prediction of Spatial Change. 1074-1080
Anne-Marie George, Nic Wilson, Barry O'Sullivan:
Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models. 1081-1087
Maciej Grabon, Jakub Michaliszyn, Jan Otop, Piotr Wieczorek:
Querying Data Graphs with Arithmetical Regular Expressions. 1088-1094
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov:
Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries. 1102-1108
Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber:
Epistemic Boolean Games Based on a Logic of Visibility and Control. 1116-1122
Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su:
Normative Multiagent Systems: The Dynamic Generalization. 1123-1129
Jianmin Ji, Hai Wan, Kewen Wang, Zhe Wang, Chuhan Zhang, Jiangtao Xu:
Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding. 1130-1137
Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang:
Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games. 1138-1144
Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Peter Clark, Oren Etzioni, Dan Roth:
Question Answering via Integer Programming over Semi-Structured Knowledge. 1145-1152
Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Conservative Rewritability of Description Logic TBoxes. 1153-1159
Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev:
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. 1160-1166
Ondrej Kuzelka, Jesse Davis, Steven Schockaert:
Learning Possibilistic Logic Theories from Default Rules. 1167-1173
Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi:
Answering Metaqueries over Hi (OWL 2 QL) Ontologies. 1174-1180
Yuliya Lierler, Benjamin Susman:
Constraint Answer Set Programming versus Satisfiability Modulo Theories. 1181-1187
Yao Liu, Zhenhua Duan, Cong Tian:
A Decision Procedure for a Fragment of Linear Time Mu-Calculus. 1195-1201
Zhiguo Long, Michael Sioutis, Sanjiang Li:
Efficient Path Consistency Algorithm for Large Qualitative Constraint Networks. 1202-1208
Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo:
Optimal Status Enforcement in Abstract Argumentation. 1216-1222
Sebastian Rudolph, Michaël Thomazo:
Expressivity of Datalog Variants - Completing the Picture. 1230-1236
Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis:
Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?. 1237-1243
Zohreh Shams, Marina De Vos, Nir Oren, Julian Padget:
Normative Practical Reasoning via Argumentation and Dialogue. 1244-1250
Kostyantyn M. Shchekotykhin, Thomas Schmitz, Dietmar Jannach:
Efficient Sequential Model-Based Fault-Localization with Partial Diagnoses. 1251-1257
Jason St. Jacques, David Toman, Grant E. Weddell:
Object-Relational Queries over CFDInc Knowledge Bases: OBDA for the SQL-Literate. 1258-1264
Xingyu Su, Marina Zanella, Alban Grastien:
Diagnosability of Discrete-Event Systems with Uncertain Observations. 1265-1271
Eleni Tsalapati, Giorgos Stoilos, Giorgos B. Stamou, George Koletsos:
Efficient Query Answering over Expressive Inconsistent Description Logics. 1279-1285
Pieter Van Hertum, Marcos Cramer, Bart Bogaerts, Marc Denecker:
Distributed Autoepistemic Logic and its Application to Access Control. 1286-1292
Jianfeng Wen, Jianxin Li, Yongyi Mao, Shini Chen, Richong Zhang:
On the Representation and Embedding of Knowledge Bases beyond Binary Relations. 1300-1307
Diedrich Wolter, Jae Hee Lee:
Connecting Qualitative Spatial and Temporal Representations by Propositional Closure. 1308-1314
Han Xiao, Minlie Huang, Xiaoyan Zhu:
From One Point to a Manifold: Knowledge Graph Embedding for Precise Link Prediction. 1315-1321
Liping Xiong, Yongmei Liu:
Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation Calculus. 1322-1329
Heng Zhang, Yan Zhang, Jia-Huai You:
Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering. 1330-1337
Yuanlin Zhang, Maede Rayatidamavandi:
A Characterization of the Semantics of Logic Programs with Aggregates. 1338-1344
Yizheng Zhao, Renate A. Schmidt:
Forgetting Concept and Role Symbols in ALCOIHµ+(∇, ⊓)-Ontologies. 1345-1353
Irman Abdic, Lex Fridman, Daniel McDuff, Erik Marchi, Bryan Reimer, Björn W. Schuller:
Driver Frustration Detection from Audio and Video in the Wild. 1354-1360
Cesare Alippi, Giacomo Boracchi, Diego Carrera, Manuel Roveri:
Change Detection in Multivariate Datastreams: Likelihood and Detectability Loss. 1368-1374
Ehsan Mohammady Ardehaly, Aron Culotta, Vivek Sundararaman, Alwar Narayanan:
Cold-Start Recommendations for Audio News Stories Using Matrix Factorization. 1375-1381
Chao Chen, Dongsheng Li, Qin Lv, Junchi Yan, Stephen M. Chu, Li Shang:
MPMA: Mixture Probabilistic Matrix Approximation for Collaborative Filtering. 1382-1388
Feng Chen, Baojian Zhou:
A Generalized Matching Pursuit Approach for Graph-Structured Sparsity. 1389-1395
Ting Chen, Lu An Tang, Yizhou Sun, Zhengzhang Chen, Kai Zhang:
Entity Embedding-Based Anomaly Detection for Heterogeneous Categorical Events. 1396-1403
Yu Chen, Tom Diethe, Peter A. Flach:
ADL™: A Topic Model for Discovery of Activities of Daily Living in a Smart Home. 1404-1410
Yu-An Chung, Hsuan-Tien Lin, Shao-Wen Yang:
Cost-Aware Pre-Training for Multiclass Cost-Sensitive Deep Learning. 1411-1417
Andrew Cropper, Stephen H. Muggleton:
Learning Higher-Order Logic Programs through Abstraction and Invention. 1418-1424
Gary Doran, Andrew Latham, Soumya Ray:
A Unifying Framework for Learning Bag Labels from Generalized Multiple-Instance Data. 1425-1431
Finale Doshi-Velez, George Konidaris:
Hidden Parameter Markov Decision Processes: A Semiparametric Regression Approach for Discovering Latent Task Parametrizations. 1432-1440
Ahmed Elbagoury, Rania Ibrahim, Mohamed S. Kamel, Fakhri Karray:
EBEK: Exemplar-Based Kernel Preserving Embedding. 1441-1447
Karen Braga Enes, Saulo Moraes Villela, Raul Fonseca Neto:
Version Space Reduction Based on Ensembles of Dissimilar Balanced Perceptrons. 1448-1454
Sarah M. Erfani, Mahsa Baktashmotlagh, Masud Moshtaghi, Vinh Nguyen, Christopher Leckie, James Bailey, Kotagiri Ramamohanarao:
Robust Domain Generalisation by Enforcing Distribution Invariance. 1455-1461
Jie Fu, Hongyin Luo, Jiashi Feng, Kian Hsiang Low, Tat-Seng Chua:
DrMAD: Distilling Reverse-Mode Automatic Differentiation for Optimizing Hyperparameters of Deep Neural Networks. 1469-1475
Junning Gao, Makoto Yamada, Samuel Kaski, Hiroshi Mamitsuka, Shanfeng Zhu:
A Robust Convex Formulation for Ensemble Clustering. 1476-1482

Martin Gebser, Thomas Guyet, René Quiniou, Javier Romero, Torsten Schaub:
Knowledge-Based Sequence Mining with ASP. 1497-1504
Hongliang Guo, Jie Zhang:
A Distributed and Scalable Machine Learning Approach for Big Data. 1512-1518
Xiaoxiao Guo, Satinder P. Singh, Richard L. Lewis, Honglak Lee:
Deep Learning for Reward Design to Improve Monte Carlo Tree Search in ATARI Games. 1519-1525
Yuchen Guo, Guiguang Ding, Yue Gao, Jianmin Wang:
Semi-Supervised Active Learning with Cross-Class Sample Transfer. 1526-1532
Nils Y. Hammerla, Shane Halloran, Thomas Plötz:
Deep, Convolutional, and Recurrent Models for Human Activity Recognition Using Wearables. 1533-1540
Tao Han, Hailong Sun, Yangqiu Song, Yili Fang, Xudong Liu:
Incorporating External Knowledge into Crowd Intelligence for More Specific Knowledge Acquisition. 1541-1547
Jia He, Changying Du, Fuzhen Zhuang, Xin Yin, Qing He, Guoping Long:
Online Bayesian Max-Margin Subspace Multi-View Learning. 1555-1561
Hoda Heidari, Michael J. Kearns, Aaron Roth:
Tight Policy Regret Bounds for Improving and Decaying Bandits. 1562-1570
Teakgyu Hong, Jongmin Lee, Kee-Eung Kim, Pedro A. Ortega, Daniel D. Lee:
Bayesian Reinforcement Learning with Behavioral Feedback. 1571-1577
Zhiting Hu, Gang Luo, Mrinmaya Sachan, Eric P. Xing, Zaiqing Nie:
Grounding Topic Models with Knowledge Bases. 1578-1584
Long-Kai Huang, Sinno Jialin Pan:
Class-Wise Supervised Hashing with Label Embedding and Active Bits. 1585-1591
Wen-bing Huang, Le-le Cao, Fuchun Sun, Deli Zhao, Huaping Liu, Shanshan Yu:
Learning Stable Linear Dynamical Systems with the Weighted Least Square Method. 1599-1605
Xuan Huo, Ming Li, Zhi-Hua Zhou:
Learning Unified Features from Natural and Programming Languages for Locating Buggy Source Code. 1606-1612
Tsuyoshi Idé, Dzung T. Phan, Jayant Kalagnanam:
Change Detection Using Directional Statistics. 1613-1619
David Isele, Mohammad Rostami, Eric Eaton:
Using Task Features for Zero-Shot Knowledge Transfer in Lifelong Learning. 1620-1626

Nan Jiang, Satinder P. Singh, Ambuj Tewari:
On Structural Properties of MDPs that Bound Loss Due to Shallow Planning. 1640-1647
Ondrej Kuzelka, Yuyi Wang, Jan Ramon:
Bounds for Learning from Evolutionary-Related Data in the Realizable Case. 1655-1661
Lucas Langer, Borja Balle, Doina Precup:
Learning Multi-Step Predictive State Representations. 1662-1668
Sang-Woo Lee, Chung-yeon Lee, Dong-Hyun Kwak, Jiwon Kim, Jeonghee Kim, Byoung-Tak Zhang:
Dual-Memory Deep Learning Architectures for Lifelong Learning of Everyday Human Behaviors. 1669-1675
Yoad Lewenberg, Yoram Bachrach, Sukrit Shankar, Antonio Criminisi:
Predicting Personal Traits from Facial Images Using Convolutional Neural Networks Augmented with Facial Landmark Information. 1676-1682
Jia Li, Kaiser Asif, Hong Wang, Brian D. Ziebart, Tanya Y. Berger-Wolf:
Adversarial Sequence Tagging. 1690-1696
Jingjing Li, Jidong Zhao, Ke Lu:
Joint Feature Selection and Structure Preservation for Domain Adaptation. 1697-1703
Miaomiao Li, Xinwang Liu, Lei Wang, Yong Dou, Jianping Yin, En Zhu:
Multiple Kernel Clustering with Local Kernel Alignment Maximization. 1704-1710
Wu-Jun Li, Sheng Wang, Wang-Cheng Kang:
Feature Learning Based Deep Supervised Hashing with Pairwise Labels. 1711-1717
Yingming Li, Ming Yang, Zenglin Xu, Zhongfei (Mark) Zhang:
Multi-View Learning with Limited and Noisy Tagging. 1718-1724
Yu-Feng Li, Shao-Bo Wang, Zhi-Hua Zhou:
Graph Quality Judgement: A Large Margin Expedition. 1725-1731
Defu Lian, Yong Ge, Nicholas Jing Yuan, Xing Xie, Hui Xiong:
Sparse Bayesian Content-Aware Collaborative Filtering for Implicit Feedback. 1732-1738
Jian Liang, Ran He, Zhenan Sun, Tieniu Tan:
Group-Invariant Cross-Modal Subspace Learning. 1739-1745
Junwei Liang, Lu Jiang, Deyu Meng, Alexander G. Hauptmann:
Learning to Detect Concepts from Webly-Labeled Video Data. 1746-1752
Shaohui Lin, Rongrong Ji, Xiaowei Guo, Xuelong Li:
Towards Convolutional Neural Networks Compression via Global Error Reconstruction. 1753-1759
Bo Liu, Xiao-Tong Yuan, Shaoting Zhang, Qingshan Liu, Dimitris N. Metaxas:
Efficient k-Support-Norm Regularized Minimization via Fully Corrective Frank-Wolfe Method. 1760-1766
Hong Liu, Rongrong Ji, Yongjian Wu, Gang Hua:
Supervised Matrix Factorization for Cross-Modality Hashing. 1767-1773
Li Liu, William K. Cheung, Xin Li, Lejian Liao:
Aligning Users across Social Networks Using Network Embedding. 1774-1780
Li-Ping Liu, Thomas G. Dietterich, Nan Li, Zhi-Hua Zhou:
Transductive Optimization of Top k Precision. 1781-1787
Mario Lucic, Olivier Bachem, Andreas Krause:
Linear-Time Outlier Detection via Sensitivity. 1795-1801
Minnan Luo, Feiping Nie, Xiaojun Chang, Yi Yang, Alexander G. Hauptmann, Qinghua Zheng:
Avoiding Optimal Mean Robust PCA/2DPCA with Non-greedy ℓ1-Norm Maximization. 1802-1808
Yong Luo, Yonggang Wen, Dacheng Tao:
On Combining Side Information and Unlabeled Data for Heterogeneous Multi-Task Metric Learning. 1809-1815
Weizhi Ma, Min Zhang, Yiqun Liu, Shaoping Ma:
Multi-Grained Role Labeling Based on Multi-Modality Information for Real Customer Service Telephone Conversation. 1816-1822
Tong Man, Huawei Shen, Shenghua Liu, Xiaolong Jin, Xueqi Cheng:
Predict Anchor Links across Social Networks via an Embedding Approach. 1823-1829
Travis Mandel, Yun-En Liu, Emma Brunskill, Zoran Popovic:
Efficient Bayesian Clustering for Reinforcement Learning. 1830-1838
Liang Mao, Shiliang Sun:
Soft Margin Consistency Based Scalable Multi-View Maximum Entropy Discrimination. 1839-1845
Mazen Melibari, Pascal Poupart, Prashant Doshi:
Sum-Product-Max Networks for Tractable Decision Making. 1846-1852
Qi Meng, Wei Chen, Jingcheng Yu, Taifeng Wang, Zhiming Ma, Tie-Yan Liu:
Asynchronous Accelerated Stochastic Gradient Descent. 1853-1859
Yadong Mu, Wei Liu, Cheng Deng, Zongting Lv, Xinbo Gao:
Coordinate Discrete Optimization for Efficient Cross-View Image Retrieval. 1860-1866
Syed Abbas Z. Naqvi, Shandian Zhe, Yuan Qi, Yifan Yang, Jieping Ye:
Fast Laplace Approximation for Sparse Bayesian Spike and Slab Models. 1867-1973
Feiping Nie, Heng Huang:
Subspace Clustering via New Low-Rank Model with Discrete Group Structure Constraint. 1874-1880
Feiping Nie, Jing Li, Xuelong Li:
Parameter-Free Auto-Weighted Multiple Graph Learning: A Framework for Multiview Clustering and Semi-Supervised Classification. 1881-1887
Shohei Ohsawa, Yachiko Obara, Takayuki Osogami:
Gated Probabilistic Matrix Factorization: Learning Users' Attention from Missing Values. 1888-1894
Shirui Pan, Jia Wu, Xingquan Zhu, Chengqi Zhang, Yang Wang:
Tri-Party Deep Network Representation. 1895-1901
Guansong Pang, Longbing Cao, Ling Chen:
Outlier Detection in Complex Categorical Data by Modeling the Feature Value Couplings. 1902-1908
Giorgio Patrini, Richard Nock, Stephen Hardy, Tibério S. Caetano:
Fast Learning from Distributed Datasets without Entity Matching. 1909-1917
Hanyang Peng, Yong Fan:
Direct Sparsity Optimization Based Feature Selection for Multi-Class Classification. 1918-1924
Xi Peng, Shijie Xiao, Jiashi Feng, Wei-Yun Yau, Zhang Yi:
Deep Subspace Clustering with Sparsity Prior. 1925-1931
Te Pi, Xi Li, Zhongfei Zhang, Deyu Meng, Fei Wu, Jun Xiao, Yueting Zhuang:
Self-Paced Boost Learning for Classification. 1932-1938
Chao Qian, Jing-Cheng Shi, Yang Yu, Ke Tang, Zhi-Hua Zhou:
Parallel Pareto Optimization for Subset Selection. 1939-1945
Peng Qian, Xipeng Qiu, Xuanjing Huang:
Bridging LSTM Architecture and the Neural Dynamics during Reading. 1953-1959
Wei Qian, Bin Hong, Deng Cai, Xiaofei He, Xuelong Li:
Non-Negative Matrix Factorization with Sinkhorn Distance. 1960-1966
Vaibhav Rajan, Sakyajit Bhattacharya:
Dependency Clustering of Mixed Data with Gaussian Mixture Copulas. 1967-1973
Daniel P. Robinson, Suchi Saria:
Trading-Off Cost of Deployment Versus Accuracy in Learning Predictive Models. 1974-1982
Zebang Shen, Hui Qian, Tengfei Zhou, Tongzhou Mu:
Adaptive Variance Reducing for Stochastic Gradient Descent. 1990-1996
Lei Shi, Yi-Dong Shen:
Diversifying Convex Transductive Experimental Design for Active Learning. 1997-2003
Harold Soh:
Distance-Preserving Probabilistic Embeddings with Side Information: Variational Bayesian Multidimensional Scaling Gaussian Process. 2011-2017
Young Chol Song, Iftekhar Naim, Abdullah Al Mamun, Kaustubh Kulkarni, Parag Singla, Jiebo Luo, Daniel Gildea, Henry A. Kautz:
Unsupervised Alignment of Actions in Video with Text Descriptions. 2025-2031
Ivan Stojkovic, Vladisav Jelisavcic, Veljko Milutinovic, Zoran Obradovic:
Distance Based Modeling of Interactions in Structured Regression. 2032-2038
Sanatan Sukhija, Narayanan Chatapuram Krishnan, Gurkanwal Singh:
Supervised Heterogeneous Domain Adaptation via Random Forests. 2039-2045
Jun Suzuki, Masaaki Nagata:
Learning Compact Neural Word Embeddings by Parameter Space Sharing. 2046-2052
Joseph G. Taylor, Viktoriia Sharmanska, Kristian Kersting, David Weir, Novi Quadrianto:
Learning Using Unselected Features (LUFe). 2060-2066
Stefano Teso, Andrea Passerini, Paolo Viappiani:
Constructive Preference Elicitation by Setwise Max-Margin Learning. 2067-2073
Arun Venkatraman, Wen Sun, Martial Hebert, Byron Boots, J. Andrew Bagnell:
Inference Machines for Nonparametric Filter Learning. 2074-2081
Ngo Anh Vien, Peter Englert, Marc Toussaint:
Policy Search in Reproducing Kernel Hilbert Space. 2089-2096
De Wang, Feiping Nie, Heng Huang:
Fast Robust Non-Negative Matrix Factorization for Large-Scale Human Action Data Clustering. 2104-2110
Shuo Wang, Leandro L. Minku, Xin Yao:
Dealing with Multiple Classes in Online Class Imbalance Learning. 2118-2124
Shuyang Wang, Zhengming Ding, Yun Fu:
Coupled Marginalized Auto-Encoders for Cross-Domain Multi-View Learning. 2125-2131
William Yang Wang, William W. Cohen:
Learning First-Order Logic Embeddings via Matrix Factorization. 2132-2138
Xin Wang, Congfu Xu, Yunhui Guo, Hui Qian:
Constrained Preference Embedding for Item Recommendation. 2139-2145
Xuezhi Wang, Junier B. Oliva, Jeff G. Schneider, Barnabás Póczos:
Nonparametric Risk and Stability Analysis for Multi-Task Learning Problems. 2146-2152
Yang Wang, Wenjie Zhang, Lin Wu, Xuemin Lin, Meng Fang, Shirui Pan:
Iterative Views Agreement: An Iterative Low-Rank Based Structured Optimization Method to Multi-View Spectral Clustering. 2153-2159
Yisen Wang, Qingtao Tang, Shu-Tao Xia, Jia Wu, Xingquan Zhu:
Bernoulli Random Forests: Closing the Gap between Theoretical Consistency and Empirical Soundness. 2167-2173
Zhangyang Wang, Yingzhen Yang, Shiyu Chang, Qing Ling, Thomas S. Huang:
Learning A Deep ℓ∞ Encoder for Hashing. 2174-2180
Zhe Wang, Ling-Yu Duan, Junsong Yuan, Tiejun Huang, Wen Gao:
To Project More or to Quantize More: Minimize Reconstruction Bias for Learning Compact Binary Codes. 2181-2188
Pengfei Wei, Yiping Ke, Chi Keong Goh:
Deep Nonlinear Feature Coding for Unsupervised Domain Adaptation. 2189-2195
Felix Weninger, Fabien Ringeval, Erik Marchi, Björn W. Schuller:
Discriminatively Trained Recurrent Neural Networks for Continuous Dimensional Emotion Recognition from Audio. 2196-2202
Nic Wilson, Mojtaba Montazery:
Preference Inference through Rescaling Preference Learning. 2203-2209
Yingce Xia, Tao Qin, Weidong Ma, Nenghai Yu, Tie-Yan Liu:
Budgeted Multi-Armed Bandits with Multiple Plays. 2210-2216
Liping Xie, Dacheng Tao, Haikun Wei:
Multi-View Exclusive Unsupervised Dimension Reduction for Video-Based Facial Expression Recognition. 2217-2223
Jinglin Xu, Junwei Han, Kai Xiong, Feiping Nie:
Robust and Sparse Fuzzy K-Means Clustering. 2224-2230
Yasunori Yamada, Tetsuro Morimura:
Weight Features for Predicting Future Model Performance of Deep Neural Networks. 2231-2237
Rui Yan:
i, Poet: Automatic Poetry Composition through Recurrent Neural Networks with Iterative Polishing Schema. 2238-2244
Xiaoqiang Yan, Yangdong Ye, Xueying Qiu:
Unsupervised Human Action Categorization with Consensus Information Bottleneck Method. 2245-2251
Liang Yang, Xiaochun Cao, Dongxiao He, Chuan Wang, Xiao Wang, Weixiong Zhang:
Modularity Based Community Detection with Deep Learning. 2252-2258
Xun Yang, Meng Wang, Luming Zhang, Dacheng Tao:
Empirical Risk Minimization for Metric Learning Using Privileged Information. 2266-2272
Yang Yang, Fumin Shen, Zi Huang, Heng Tao Shen:
A Unified Framework for Discrete Spectral Clustering. 2273-2279
Yang Yang, De-Chuan Zhan, Yuan Jiang:
Learning by Actively Querying Strong Modal Features. 2280-2286
Zhilin Yang, Jie Tang, William W. Cohen:
Multi-Modal Bayesian Embeddings for Learning Social Knowledge Graphs. 2287-2293
Qiaomin Ye, Luo Luo, Zhihua Zhang:
Frequent Direction Algorithms for Approximate Matrix Multiplication with Applications in CCA. 2301-2307
Pengcheng Yin, Zhengdong Lu, Hang Li, Ben Kao:
Neural Enquirer: Learning to Query Tables in Natural Language. 2308-2314
Yusen Zhan, Haitham Bou-Ammar, Matthew E. Taylor:
Theoretically-Grounded Policy Advice from Multiple Teachers in Reinforcement Learning Settings with Applications to Negative Transfer. 2315-2321
Qin Zhang, Jia Wu, Hong Yang, Yingjie Tian, Chengqi Zhang:
Unsupervised Feature Learning from Time Series. 2322-2328
Qing Zhang, Houfeng Wang:
Collaborative Filtering with Generalized Laplacian Constraint via Overlapping Decomposition. 2329-2335
Shizhou Zhang, Yihong Gong, Jinjun Wang:
Improving DCNN Performance with Sparse Category-Selective Objective Function. 2343-2349
Wei Zhang, Suyog Gupta, Xiangru Lian, Ji Liu:
Staleness-Aware Async-SGD for Distributed Deep Learning. 2350-2356
Yizhe Zhang, Ricardo Henao, Chunyuan Li, Lawrence Carin:
Bayesian Dictionary Learning with Gaussian Processes and Sigmoid Belief Networks. 2364-2370
Zemin Zhang, Shuchin Aeron:
Denoising and Completion of 3D Data via Multidimensional Dictionary Learning. 2371-2377
Feipeng Zhao, Min Xiao, Yuhong Guo:
Predictive Collaborative Filtering with Side Information. 2385-2391
Feng Zheng, Ling Shao:
Learning Cross-View Binary Identities for Fast Person Re-Identification. 2399-2406
Joey Tianyi Zhou, Xinxing Xu, Sinno Jialin Pan, Ivor W. Tsang, Zheng Qin, Rick Siow Mong Goh:
Transfer Hashing with Privileged Information. 2414-2420
Xingyi Zhou, Qingfu Wan, Wei Zhang, Xiangyang Xue, Yichen Wei:
Model-Based Deep Hand Pose Estimation. 2421-2427
Yang Zhou, Haiping Lu:
Probabilistic Rank-One Matrix Analysis with Concurrent Regularization. 2428-2434
Pengfei Zhu, Lei Zhang, Wangmeng Zuo, Xiangchu Feng, Qinghua Hu:
A Self-Representation Induced Classifier. 2442-2448
Xiaojin Zhu, Ara Vartanian, Manish Bansal, Duy Nguyen, Luke Brandl:
Stochastic Multiresolution Persistent Homology Kernel. 2449-2457
Andrés Abeliuk, Gerardo Berbeglia, Felipe Maldonado, Pascal Van Hentenryck:
Asymptotic Optimality of Myopic Optimization in Trial-Offer Markets with Social Influence. 2458-2464
Arpita Biswas, Ragavendran Gopalakrishnan, Partha Dutta:
Managing Overstaying Electric Vehicles in Park-and-Charge Facilities. 2465-2471
Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi:
A SAT-Based Approach for Mining Association Rules. 2472-2478
Gong Cheng, Weixi Zhu, Ziwei Wang, Jianghui Chen, Yuzhong Qu:
Taking Up the Gaokao Challenge: An Information Retrieval Approach. 2479-2485
Keith Clark, Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Peter Robinson, Claude Sammut, Michael Thielscher:
A Framework for Integrating Symbolic and Sub-Symbolic Representations. 2486-2492
Dustin Dannenhauer, Hector Muñoz-Avila, Michael T. Cox:
Informed Expectations to Guide GDA Agents in Partially Observable Environments. 2493-2499
Zipei Fan, Ayumi Arai, Xuan Song, Apichon Witayangkurn, Hiroshi Kanasugi, Ryosuke Shibasaki:
A Collaborative Filtering Approach to Citywide Human Mobility Completion from Sparse Call Records. 2500-2506
Ahmed Khalifa, Aaron Isaksen, Julian Togelius, Andy Nealen:
Modifying MCTS for Human-Like General Video Game Playing. 2514-2520
Zhaobin Kuang, James A. Thomson, Michael Caldwell, Peggy L. Peissig, Ron M. Stewart, David Page:
Baseline Regularization for Computational Drug Repositioning with Longitudinal Observational Data. 2521-2528
Sébastien Lallé, Cristina Conati, Giuseppe Carenini:
Predicting Confusion in Information Visualization from Eye Tracking and Interaction Data. 2529-2535
Tuan M. V. Le, Hady Wirawan Lauw:
Word Clouds with Latent Variable Analysis for Visual Comparison of Documents. 2536-2543
Wonsung Lee, Youngmin Lee, Heeyoung Kim, Il-Chul Moon:
Bayesian Nonparametric Collaborative Topic Poisson Factorization for Electronic Health Records-Based Phenotyping. 2544-2552
Liangda Li, Hongyuan Zha:
Household Structure Analysis via Hawkes Processes for Enhancing Energy Disaggregation. 2553-2559
Si Liu, Xinyu Ou, Ruihe Qian, Wei Wang, Xiaochun Cao:
Makeup Like a Superstar: Deep Localized Makeup Transfer Network. 2568-2575
Ye Liu, Yu Zheng, Yuxuan Liang, Shuming Liu, David S. Rosenblum:
Urban Water Quality Prediction Based on Multi-Task Multi-View Learning. 2576-2581
Gautier Marti, Sébastien Andler, Frank Nielsen, Philippe Donnat:
Clustering Financial Time Series: How Long Is Enough?. 2583-2589
Wookhee Min, Bradford W. Mott, Jonathan P. Rowe, Barry Liu, James C. Lester:
Player Goal Recognition in Open-World Digital Games with Long Short-Term Memory Networks. 2590-2596
Marco Ragni, Christian Eichhorn, Gabriele Kern-Isberner:
Simulating Human Inferences in the Light of New Information: A Formal Analysis. 2604-2610
Victor Shnayder, Rafael M. Frongillo, David C. Parkes:
Measuring Performance of Peer Prediction Mechanisms Using Replicator Dynamics. 2611-2617
Xuan Song, Hiroshi Kanasugi, Ryosuke Shibasaki:
DeepTransport: Prediction and Simulation of Human Mobility and Transportation Mode at a Citywide Level. 2618-2624
Yale Song, Randall Davis, Kaichen Ma, Dana L. Penney:
Balancing Appearance and Context in Sketch Interpretation. 2625-2632
Jakob Suchan, Mehul Bhatt:
Semantic Question-Answering with Video and Eye-Tracking Data: AI Foundations for Human Visual Perception Driven Cognitive Film Studies. 2633-2639
Yunzhi Tan, Min Zhang, Yiqun Liu, Shaoping Ma:
Rating-Boosted Latent Topics: Understanding Users and Items with Ratings and Reviews. 2640-2646
Shu Tian, Wei-Yi Pei, Ze-Yu Zuo, Xu-Cheng Yin:
Scene Text Detection in Video by Learning Locally and Globally. 2647-2653

Zheng Wang, Ruimin Hu, Yi Yu, Junjun Jiang, Chao Liang, Jinqiao Wang:
Scale-Adaptive Low-Resolution Person Re-Identification via Learning a Discriminating Surface. 2669-2675
Shuai Xiao, Junchi Yan, Changsheng Li, Bo Jin, Xiangfeng Wang, Xiaokang Yang, Stephen M. Chu, Hongyuan Zha:
On Modeling and Predicting Individual Paper Citation Count over Time. 2676-2682
Xiao-Feng Xie, Zun-Jing Wang:
Exploiting Problem Structure in Combinatorial Landscapes: A Case Study on Pure Mathematics Application. 2683-2689
Junchi Yan, Shuai Xiao, Changsheng Li, Bo Jin, Xiangfeng Wang, Bin Ke, Xiaokang Yang, Hongyuan Zha:
Modeling Contagious Merger and Acquisition via Point Processes with a Profile Regression Prior. 2690-2696
Dingqi Yang, Bin Li, Philippe Cudré-Mauroux:
POISketch: Semantic Place Labeling over User Activity Streams. 2697-2703
Xiuwen Yi, Yu Zheng, Junbo Zhang, Tianrui Li:
ST-MVL: Filling Missing Values in Geo-Sensory Time Series Data. 2704-2710
Xiang Yu, Zhe L. Lin, Shaoting Zhang, Dimitris N. Metaxas:
Nonlinear Hierarchical Part-Based Regression for Unconstrained Face Alignment. 2711-2717
Lu Zhang, Yongkai Wu, Xintao Wu:
Situation Testing-Based Discrimination Discovery: A Causal Inference Approach. 2718-2724
Ruohan Zhang, Zhao Song:
Maximum Sustainable Yield Problem for Robot Foraging and Construction System. 2725-2731
Wei-Long Zheng, Bao-Liang Lu:
Personalizing EEG-Based Affective Models with Transfer Learning. 2732-2739
Siddhartha Banerjee, Prasenjit Mitra:
WikiWrite: Generating Wikipedia Articles Automatically. 2740-2746
Emanuele Bastianelli, Danilo Croce, Andrea Vanzo, Roberto Basili, Daniele Nardi:
A Discriminative Approach to Grounded Spoken Language Understanding in Interactive Robotics. 2747-2753
Qian Chen, Xiao-Dan Zhu, Zhen-Hua Ling, Si Wei, Hui Jiang:
Distraction-Based Neural Networks for Modeling Document. 2754-2760
Yong Cheng, Shiqi Shen, Zhongjun He, Wei He, Hua Wu, Maosong Sun, Yang Liu:
Agreement-Based Joint Training for Bidirectional Attention-Based Neural Machine Translation. 2761-2767
Shamil Chollampatt, Kaveh Taghipour, Hwee Tou Ng:
Neural Network Translation Models for Grammatical Error Correction. 2768-2774
Lingjia Deng, Janyce Wiebe:
Recognizing Opinion Sources Based on a New Categorization of Opinion Types. 2775-2781
Yuyun Gong, Qi Zhang:
Hashtag Recommendation Using Attention-Based Convolutional Neural Network. 2782-2788
Lin Gui, Ruifeng Xu, Yulan He, Qin Lu, Zhongyu Wei:
Intersubjectivity and Sentiment: From Language to Knowledge. 2789-2795
Duc Tam Hoang, Shamil Chollampatt, Hwee Tou Ng:
Exploiting N-Best Hypotheses to Improve an SMT Approach to Grammatical Error Correction. 2803-2809
Jizhou Huang, Shiqi Zhao, Shiqiang Ding, Haiyang Wu, Mingming Sun, Haifeng Wang:
Generating Recommendation Evidence Using Translation Model. 2810-2816
Shujian Huang, Huifeng Sun, Chengqi Zhao, Jinsong Su, Xin-Yu Dai, Jiajun Chen:
Tree-State Based Rule Selection Models for Hierarchical Phrase-Based Machine Translation. 2817-2823
Peng Jin, Yue Zhang, Xingyuan Chen, Yunqing Xia:
Bag-of-Embeddings for Text Classification. 2824-2830
Hatim Khouzaimi, Romain Laroche, Fabrice Lefèvre:
Reinforcement Learning for Turn-Taking Management in Incremental Spoken Dialogue Systems. 2831-2837
Fei Li, Yue Zhang, Meishan Zhang, Donghong Ji:
Joint Models for Extracting Adverse Drug Events from Biomedical Text. 2838-2844
Xiang Li, Lili Mou, Rui Yan, Ming Zhang:
StalemateBreaker: A Proactive Content-Introducing Approach to Automatic Human-Computer Conversation. 2845-2851
Xiaoqing Li, Jiajun Zhang, Chengqing Zong:
Towards Zero Unknown Word in Neural Machine Translation. 2852-2858
Chen Liang, Praveen K. Paritosh, Vinodh Rajendran, Kenneth D. Forbus:
Learning Paraphrase Identification with Structural Alignment. 2859-2865
Yankai Lin, Zhiyuan Liu, Maosong Sun:
Knowledge Representation Learning with Entities, Attributes and Relations. 2866-2872
Pengfei Liu, Xipeng Qiu, Xuanjing Huang:
Recurrent Neural Network for Text Classification with Multi-Task Learning. 2873-2879
Yijia Liu, Wanxiang Che, Jiang Guo, Bing Qin, Ting Liu:
Exploring Segment Representations for Neural Segmentation Models. 2880-2886
Alessandro Raganato, Claudio Delli Bovi, Roberto Navigli:
Automatic Construction and Evaluation of a Large Semantically Enriched Wikipedia. 2894-2900
Yangqiu Song, Shyam Upadhyay, Haoruo Peng, Dan Roth:
Cross-Lingual Dataless Classification for Many Languages. 2901-2907
Michael Spranger, Jakob Suchan, Mehul Bhatt:
Robust Natural Language Processing - Combining Reasoning, Cognitive Semantics, and Construction Grammar for Spatial Language. 2908-2914
Fei Sun, Jiafeng Guo, Yanyan Lan, Jun Xu, Xueqi Cheng:
Sparse Word Embeddings Using ℓ1 Regularized Online Learning. 2915-2921
Shengxian Wan, Yanyan Lan, Jun Xu, Jiafeng Guo, Liang Pang, Xueqi Cheng:
Match-SRNN: Modeling the Recursive Matching Structure with Spatial RNN. 2922-2928
Bingning Wang, Shangmin Guo, Kang Liu, Shizhu He, Jun Zhao:
Employing External Rich Knowledge for Machine Comprehension. 2929-2925
Qixin Wang, Tianyi Luo, Dong Wang, Chao Xing:
Chinese Song Iambics Generation with Neural Attention-Based Model. 2943-2949
Rui Wang, Hai Zhao, Sabine Ploux, Bao-Liang Lu, Masao Utiyama:
A Bilingual Graph-Based Semantic Model for Statistical Machine Translation. 2950-2956
Zhuhao Wang, Fei Wu, Weiming Lu, Jun Xiao, Xi Li, Zitong Zhang, Yueting Zhuang:
Diverse Image Captioning via GroupTalk. 2957-2964
Ruobing Xie, Zhiyuan Liu, Maosong Sun:
Representation Learning of Knowledge Graphs with Hierarchical Types. 2965-2971
Jun Yin, Xin Jiang, Zhengdong Lu, Lifeng Shang, Hang Li, Xiaoming Li:
Neural Generative Question Answering. 2972-2978
Yichun Yin, Furu Wei, Li Dong, Kaimeng Xu, Ming Zhang, Ming Zhou:
Unsupervised Word and Dependency Path Embeddings for Aspect Term Extraction. 2979-2985
Wei Zhang, Quan Yuan, Jiawei Han, Jianyong Wang:
Collaborative Multi-Level Embedding Learning from Reviews for Rating Prediction. 2986-2992
Xiaodong Zhang, Houfeng Wang:
A Joint Model of Intent Determination and Slot Filling for Spoken Language Understanding. 2993-2999
Zhou Zhao, Qifan Yang, Deng Cai, Xiaofei He, Yueting Zhuang:
Expert Finding for Community-Based Question Answering via Ranking Metric Network Learning. 3000-3006
Xiaoqing Zheng, Jiangtao Feng, Mengxiao Lin, Wenqiang Zhang:
Context-Specific and Multi-Prototype Character Representations. 3007-3013
Deyu Zhou, Haiyang Xu, Xin-Yu Dai, Yulan He:
Unsupervised Storyline Extraction from News Articles. 3014-3021
Ron Alford, Vikas Shivashankar, Mark Roberts, Jeremy Frank, David W. Aha:
Hierarchical Planning: Relating Task and Goal Decomposition with Task Sharing. 3022-3029
Aijun Bai, Siddharth Srivastava, Stuart J. Russell:
Markovian State and Action Abstractions for MDPs via Hierarchical MCTS. 3029-3039
Arthur Bit-Monnot, Malik Ghallab, Félix Ingrand:
Which Contingent Events to Observe for the Dynamic Controllability of a Plan. 3038-3044

Nicolas Catusse, Hadrien Cambazard, Nadia Brauner, Pierre Lemaire, Bernard Penz, Anne-Marie Lagrange, Pascal Rubini:
A Branch-and-Price Algorithm for Scheduling Observations on a Telescope. 3060-3066
Liron Cohen, Tansel Uras, T. K. Satish Kumar, Hong Xu, Nora Ayanian, Sven Koenig:
Improved Solvers for Bounded-Suboptimal Multi-Agent Path Finding. 3067-3074
Hao Cui, Roni Khardon:
Online Symbolic Gradient-Based Optimization for Factored Action MDPs. 3075-3081
Guillem Francès, Hector Geffner:
∃-STRIPS: Existential Quantification in Planning and Constraint Satisfaction. 3082-3088
Caelan Reed Garrett, Leslie Pack Kaelbling, Tomás Lozano-Pérez:
Learning to Rank for Synthesizing Planning Heuristics. 3089-3095
Supriyo Ghosh, Michael Trick, Pradeep Varakantham:
Robust Repositioning to Counter Unpredictable Demand in Bike Sharing Systems. 3096-3102
Vincent Gingras, Claude-Guy Quimper:
Generalizing the Edge-Finder Rule for the Cumulative Constraint. 3103-3109
Ragavendran Gopalakrishnan, Arpita Biswas, Alefiya Lightwala, Skanda Vasudevan, Partha Dutta, Abhishek Tripathi:
Demand Prediction and Placement Optimization for Electric Vehicle Charging Stations. 3117-3123
Eric A. Hansen, Jinchuan Shi, Arindam Khaled:
A POMDP Approach to Influence Diagram Evaluation. 3124-3132
Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li:
Hierarchical Model Predictive Control for Multi-Robot Navigation. 3140-3146

Thomas Keller, Florian Pommerening, Jendrik Seipp, Florian Geißer, Robert Mattmüller:
State-Dependent Cost Partitionings for Cartesian Abstractions in Classical Planning. 3161-3169
Sarah Keren, Avigdor Gal, Erez Karpas:
Privacy Preserving Plans in Partially Observable Environments. 3170-3176
Christian Kroer, Tuomas Sandholm:
Sequential Planning for Steering Immune System Adaptation. 3177-3184
Levi H. S. Lelis, Santiago Franco, Marvin Abisrror, Mike Barley, Sandra Zilles, Robert C. Holte:
Heuristic Subset Selection in Classical Planning. 3185-3191
Yunlong Liu, Hexing Zhu, Yifeng Zeng, Zongxiong Dai:
Learning Predictive State Representations via Monte-Carlo Tree Search. 3192-3198
Damir Lotinac, Javier Segovia Aguas, Sergio Jiménez Celorrio, Anders Jonsson:
Automatic Generation of High-Level State Features for Generalized Planning. 3199-3205
Christian J. Muise, Paolo Felli, Tim Miller, Adrian R. Pearce, Liz Sonenberg:
Planning for a Single Agent in a Multi-Agent Environment Using FOND. 3206-3212
Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio:
Heuristic Planning for PDDL+ Domains. 3213-3219
Yash Satsangi, Shimon Whiteson, Frans A. Oliehoek:
PAC Greedy Maximization with Efficient Bounds on Information Gain for Sensor Selection. 3220-3227
Enrico Scala, Patrik Haslum, Sylvie Thiébaux:
Heuristics for Numeric Planning via Subgoaling. 3228-3234
Javier Segovia Aguas, Sergio Jiménez Celorrio, Anders Jonsson:
Hierarchical Finite State Controllers for Generalized Planning. 3235-3241
Jendrik Seipp, Florian Pommerening, Gabriele Röger, Malte Helmert:
Correlation Complexity of Classical Planning Domains. 3242-3250
Alexander Shleyfman, Alexander Tuisov, Carmel Domshlak:
Blind Search for Atari-Like Online Planning Revisited. 3251-3257
Álvaro Torralba, Daniel Gnad, Patrick Dubbert, Jörg Hoffmann:
On State-Dominance Criteria in Fork-Decoupled Search. 3265-3271
Álvaro Torralba, Carlos Linares López, Daniel Borrajo:
Abstraction Heuristics for Symbolic Bidirectional Search. 3272-3278
Christabel Wayllace, Ping Hou, William Yeoh, Tran Cao Son:
Goal Recognition Design with Stochastic Agent Action Outcomes. 3279-3285
Martin Wehrle, Silvan Sievers, Malte Helmert:
Graph-Based Factorization of Classical Planning Problems. 3286-3292
Dominik Winterer, Martin Wehrle, Michael Katz:
Structural Symmetries for Fully Observable Nondeterministic Planning. 3293-3299
Peng Yu, Jiaying Shen, Peter Z. Yeh, Brian Charles Williams:
Resolving Over-Constrained Conditional Temporal Problems Using Semantically Similar Alternatives. 3300-3307
Chongjie Zhang, Julie A. Shah:
Co-Optimizating Multi-Agent Placement with Task Assignment and Scheduling. 3308-3314
Qi Zhang, Edmund H. Durfee, Satinder P. Singh, Anna Chen, Stefan J. Witwicki:
Commitment Semantics for Sequential Decision Making under Reward Uncertainty. 3315-3323
Congqi Cao, Yifan Zhang, Chunjie Zhang, Hanqing Lu:
Action Recognition with Joints-Pooled 3D Deep Convolutional Descriptors. 3324-3330
Chen Chen, Mengyuan Liu, Baochang Zhang, Jungong Han, Junjun Jiang, Hong Liu:
3D Action Recognition Using Multi-Temporal Depth Motion Maps and Fisher Vector. 3331-3337
Yanhua Cheng, Xin Zhao, Rui Cai, Zhiwei Li, Kaiqi Huang, Yong Rui:
Semi-Supervised Multimodal Deep Learning for RGB-D Object Recognition. 3345-3351
Gary Doran, David R. Thompson, Tara A. Estlin:
Precision Instrument Targeting via Image Registration for the Mars 2020 Rover. 3352-3358
Mohammed E. Fathy, Azadeh Alavi, Rama Chellappa:
Discriminative Log-Euclidean Feature Learning for Sparse Representation-Based Recognition of Faces from Videos. 3359-3367
Reza Shoja Ghiass, Ognjen Arandjelovic:
Highly Accurate Gaze Estimation Using a Consumer RGB-D Sensor. 3368-3374
Jasmin Grosinger, Federico Pecora, Alessandro Saffiotti:
Making Robots Proactive through Equilibrium Maintenance. 3375-3381
Yuchen Guo, Guiguang Ding, Jungong Han, Xiaoming Jin:
Robust Iterative Quantization for Efficient ℓp-norm Similarity Search. 3382-3388
Allam S. Hassanein, Mohamed E. Hussein, Walid Gomaa:
Semantic Analysis for Crowded Scenes Based on Non-Parametric Tracklet Clustering. 3389-3395
Long Lan, Dacheng Tao, Chen Gong, Naiyang Guan, Zhigang Luo:
Online Multi-Object Tracking by Quadratic Pseudo-Boolean Optimization. 3396-3402
Xiangyuan Lan, Shengping Zhang, Pong C. Yuen:
Robust Joint Discriminative Feature Learning for Visual Tracking. 3403-3410
Xin Li, Fan Yang, Leiting Chen, Hongbin Cai:
Saliency Transfer: An Example-Based Method for Salient Object Detection. 3411-3417
Wei Liang, Yibiao Zhao, Yixin Zhu, Song-Chun Zhu:
What Is Where: Inferring Containment Relations from Videos. 3418-3424
Xiaobai Liu, Yadong Mu, Liang Lin:
A Stochastic Image Grammar for Fine-Grained 3D Scene Reconstruction. 3425-3431
Yao Lu:
Unsupervised Learning on Neural Network Outputs: With Application in Zero-Shot Learning. 3432-3438
Zhanglin Peng, Ruimao Zhang, Xiaodan Liang, Xiaobai Liu, Liang Lin:
Geometric Scene Parsing with Hierarchical LSTM. 3439-3445
Babak Saleh, Ahmed M. Elgammal, Jacob Feldman:
Incorporating Prototype Theory in Convolutional Neural Networks. 3446-3453
Tianmin Shu, Michael S. Ryoo, Song-Chun Zhu:
Learning Social Affordance for Human-Robot Interaction. 3454-3461
Jivko Sinapov, Priyanka Khante, Maxwell Svetlik, Peter Stone:
Learning to Order Objects Using Haptic and Proprioceptive Exploratory Behaviors. 3462-3468
Hang Su, Yinpeng Dong, Jun Zhu, Haibin Ling, Bo Zhang:
Crowd Scene Understanding with Coherent Recurrent Neural Networks. 3469-3476
Jesse Thomason, Jivko Sinapov, Maxwell Svetlik, Peter Stone, Raymond J. Mooney:
Learning Multi-Modal Grounded Linguistic Semantics by Playing "I Spy". 3477-3483
Jingwen Wang, Jianlong Fu, Yong Xu, Tao Mei:
Beyond Object Recognition: Visual Sentiment Analysis with Deep Coupled Adjective and Noun Neural Networks. 3484-3490
Shu Wang, Shaoting Zhang, Wei Liu, Dimitris N. Metaxas:
Visual Tracking with Reliable Memories. 3491-3497
Inbal Wiesel-Kapah, Gal A. Kaminka, Guy Hachmon, Noa Agmon, Ido Bachelet:
Rule-Based Programming of Molecular Robot Swarms for Biomedical Applications. 3505-3512
Lawson L. S. Wong, Thanard Kurutach, Tomás Lozano-Pérez, Leslie Pack Kaelbling:
Object-Based World Modeling in Semi-Static Environments with Dependent Dirichlet Process Mixtures. 3513-3521
Hang Yin, Patricia Alves-Oliveira, Francisco S. Melo, Aude Billard, Ana Paiva:
Synthesizing Robotic Handwriting Motion by Learning from Human Demonstrations. 3530-3537
Dingwen Zhang, Deyu Meng, Long Zhao, Junwei Han:
Bridging Saliency Detection to Weakly Supervised Object Detection Based on Self-Paced Curriculum Learning. 3538-3544
Yaqing Zhang, Xi Li, Liming Zhao, Zhongfei Zhang:
Semantics-Aware Deep Correspondence Structure Learning for Robust Person Re-Identification. 3545-3551
Xiaoke Zhu, Xiao-Yuan Jing, Fei Wu, Hui Feng:
Video-Based Person Re-Identification by Simultaneously Learning Intra-Video and Inter-Video Distance Metrics. 3552-3559
Ankit Anand, Aditya Grover, Mausam, Parag Singla:
Contextual Symmetries in Probabilistic Graphical Models. 3560-3568
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi:
Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls. 3569-3576
Bryant Chen, Judea Pearl, Elias Bareinboim:
Incorporating Knowledge into Structural Equation Models Using Auxiliary Variables. 3577-3583
Rodrigo de Salvo Braz, Ciaran O'Reilly, Vibhav Gogate, Rina Dechter:
Probabilistic Inference Modulo Theories. 3591-3599
Daisuke Hatano, Takuro Fukunaga, Ken-ichi Kawarabayashi:
Adaptive Budget Allocation for Maximizing Influence of Advertisements. 3600-3608
Shamin Kinathil, Scott Sanner, Sanmay Das, Nicolás Della Penna:
A Symbolic Closed-Form Solution to Sequential Market Making with Inventory. 3609-3615
Steffen Michels, Arjen Hommersom, Peter J. F. Lucas:
Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming. 3616-3622
Nico Potyka, Erman Acar, Matthias Thimm, Heiner Stuckenschmidt:
Group Decision Making via Probabilistic Belief Merging. 3623-3629
Min Wen, Ufuk Topcu:
Probably Approximately Correct Learning in Stochastic Games with Temporal Logic Specifications. 3630-3636
Yi Wu, Lei Li, Stuart J. Russell, Rastislav Bodík:
Swift: Compiled Inference for Probabilistic Programming Languages. 3637-3645
Li Zhou, Emma Brunskill:
Latent Contextual Bandits and their Application to Personalized Recommendations for New Users. 3646-3653
Zheng Zhou, Kan Li, Xiangjian He, Mengmeng Li:
A Generative Model for Recognizing Mixed Group Activities in Still Images. 3654-3661
Garrett Andersen, Vincent Conitzer:
ATUCAPTS: Automated Tests that a User Cannot Pass Twice Simultaneously. 3662-3669
Ehsan Mohammady Ardehaly, Aron Culotta:
Domain Adaptation for Learning from Label Proportions Using Self-Training. 3670-3676
Qing Bao, William K. Cheung, Jiming Liu:
Inferring Motif-Based Diffusion Models for Social Networks. 3677-3683
Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Odile Papini, Karim Tabia:
Non-Objection Inference for Inconsistency-Tolerant Query Answering. 3684-3690
Himanshu S. Bhatt, Arun Rajkumar, Shourya Roy:
Multi-Source Iterative Adaptation for Cross-Domain Classification. 3691-3697
Yi Chang, Jiliang Tang, Dawei Yin, Makoto Yamada, Yan Liu:
Timeline Summarization from Social Media with Life Cycle Models. 3698-3704
Gong Cheng, Cheng Jin, Yuzhong Qu:
HIEDS: A Generic and Efficient Approach to Hierarchical Dataset Summarization. 3705-3711
Yo Ehara, Yukino Baba, Masao Utiyama, Eiichiro Sumita:
Assessing Translation Ability through Vocabulary Ability Assessment. 3712-3718
Qi Guo, Chinmay Kulkarni, Aniket Kittur, Jeffrey P. Bigham, Emma Brunskill:
Questimator: Generating Knowledge Assessments for Arbitrary Topics. 3726-3732
Takanori Hayashi, Takuya Akiba, Yuichi Yoshida:
Efficient Algorithms for Spanning Tree Centrality. 3733-3739
Ruining He, Chunbin Lin, Jianguo Wang, Julian McAuley:
Sherlock: Sparse Hierarchical Embeddings for Visually-Aware One-Class Collaborative Filtering. 3740-3746
Tatsuya Iwanari, Naoki Yoshinaga, Nobuhiro Kaji, Toshiharu Nishina, Masashi Toyoda, Masaru Kitsuregawa:
Ordering Concepts Based on Common Attribute Intensity. 3747-3753
Chris Kedzie, Fernando Diaz, Kathleen McKeown:
Real-Time Web Scale Event Summarization Using Sequential Decision Making. 3754-3760
Takuya Konishi, Tomoharu Iwata, Kohei Hayashi, Ken-ichi Kawarabayashi:
Identifying Key Observers to Find Popular Information in Advance. 3761-3767
Sheng Li, Nikos Vlassis, Jaya Kawale, Yun Fu:
Matching via Dimensionality Reduction for Estimation of Treatment Effects in Digital Marketing Campaigns. 3768-3774
Huijie Lin, Jia Jia, Liqiang Nie, Guangyao Shen, Tat-Seng Chua:
What Does Social Media Say about Your Stress?. 3775-3781
Yuli Liu, Yiqun Liu, Min Zhang, Shaoping Ma:
Pay Me and I'll Follow You: Detection of Crowdturfing Following Activities in Microblog Environment. 3789-3796
Chun-Ta Lu, Sihong Xie, Weixiang Shao, Lifang He, Philip S. Yu:
Item Recommendation for Emerging Online Businesses. 3797-3803
Zhongqi Lu, Sinno Jialin Pan, Yong Li, Jie Jiang, Qiang Yang:
Collaborative Evolution for User Profiling in Recommender Systems. 3804-3810
Ping Luo, Ganbin Zhou, Jiaxi Tang, Rui Chen, Zhongjie Yu, Qing He:
Browsing Regularities in Hedonic Content Systems. 3811-3817
Jing Ma, Wei Gao, Prasenjit Mitra, Sejeong Kwon, Bernard J. Jansen, Kam-Fai Wong, Meeyoung Cha:
Detecting Rumors from Microblogs with Recurrent Neural Networks. 3818-3824
Shengying Pan, Kate Larson, Josh Bradshaw, Edith Law:
Dynamic Task Allocation Algorithm for Hiring Workers that Learn. 3825-3831
Yingwei Pan, Yehao Li, Ting Yao, Tao Mei, Houqiang Li, Yong Rui:
Learning Deep Intrinsic Video Representation by Exploring Temporal Coherence and Graph Structure. 3832-3838
Alexandra Papoutsaki, Patsorn Sangkloy, James Laskey, Nediyana Daskalova, Jeff Huang, James Hays:
WebGazer: Scalable Webcam Eye Tracking Using User Interactions. 3839-3845
Yuxin Peng, Xin Huang, Jinwei Qi:
Cross-Media Shared Representation by Hierarchical Learning with Multiple Deep Networks. 3846-3853
Suvash Sedhain, Hung Hai Bui, Jaya Kawale, Nikos Vlassis, Branislav Kveton, Aditya Krishna Menon, Trung Bui, Scott Sanner:
Practical Linear Models for Large-Scale One-Class Collaborative Filtering. 3854-3860
Avi Segal, Ya'akov (Kobi) Gal, Ece Kamar, Eric Horvitz, Alex Bowyer, Grant Miller:
Intervention Strategies for Increasing Engagement in Crowdsourcing: Platform, Predictions, and Experiments. 3861-3867
Chaofeng Sha, Xiaowei Wu, Junyu Niu:
A Framework for Recommending Relevant and Diverse Items. 3868-3874
Yuan Su, Xi Zhang, Philip S. Yu, Wen Hua, Xiaofang Zhou, Binxing Fang:
Understanding Information Diffusion under Interactions. 3875-3881
Ryusuke Takahama, Toshihiro Kamishima, Hisashi Kashima:
Progressive Comparison for Ranking Estimation. 3882-3888
Cunchao Tu, Weicheng Zhang, Zhiyuan Liu, Maosong Sun:
Max-Margin DeepWalk: Discriminative Learning of Network Representation. 3889-3895
Jacopo Urbani, Sourav Dutta, Sairam Gurajada, Gerhard Weikum:
KOGNAC: Efficient Encoding of Large Knowledge Graphs. 3896-3902
Jingjing Wang, Changsung Kang, Yi Chang, Jiawei Han:
Learning Hostname Preference to Enhance Search Relevance. 3903-3909
Keqiang Wang, Wayne Xin Zhao, Hongwei Peng, Xiaoling Wang:
Bayesian Probabilistic Multi-Topic Matrix Factorization for Rating Prediction. 3910-3916
Zheng Wang, Chaokun Wang, Jisheng Pei, Xiaojun Ye, Philip S. Yu:
Causality Based Propagation History Ranking in Social Networks. 3917-3923
Bo Xu, Chenhao Xie, Yi Zhang, Yanghua Xiao, Haixun Wang, Wei Wang:
Learning Defining Features for Categories. 3924-3930
Ting Yao, Fuchen Long, Tao Mei, Yong Rui:
Deep Semantic-Preserving and Ranking-Based Hashing for Image Retrieval. 3931-3937
Hongyi Zhang, Tong Zhao, Irwin King, Michael R. Lyu:
Modeling the Homophily Effect between Links and Communities for Overlapping Community Detection. 3938-3944
Lili Zhao, Zhongqi Lu, Sinno Jialin Pan, Qiang Yang:
Matrix Factorization+ for Movie Recommendation. 3945-3951
Haoti Zhong, Hao Li, Anna Cinzia Squicciarini, Sarah Michele Rajtmajer, Christopher Griffin, David J. Miller, Cornelia Caragea:
Content-Driven Detection of Cyberbullying on the Instagram Social Network. 3952-3958
Lei Zhu, Jialie Shen, Xiaobai Liu, Liang Xie, Liqiang Nie:
Learning Compact Visual Representation with Canonical Views for Robust Mobile Landmark Search. 3959-3967

Ankit Anand:
Lifting Techniques for Sequential Decision Making and Probabilistic Inference (Extended Abstract). 3972-3973



Felipe Leno da Silva, Anna Helena Reali Costa:
Transfer Learning for Multiagent Reinforcement Learning Systems. 3982-3983


Negar Ghourchian:
Location-Based Activity Recognition with Hierarchical Dirichlet Process. 3990-3991




Chris Kedzie, Kathleen McKeown:
Extractive and Abstractive Event Summarization over Streaming Web Text. 4002-4003





Gulnar Mehdi, Sebastian Brandt, Mikhail Roshchin, Thomas A. Runkler:
Semantic Framework for Industrial Analytics and Diagnostics. 4016-4017

Banafsheh Rekabdar:
Are Spiking Neural Networks Useful for Classifying and Early Recognition of Spatio-Temporal Patterns?. 4022-4023
Arpit Sharma:
Towards Understanding Natural Language: Semantic Parsing, Commonsense Knowledge Acquisition and Applications. 4026-4027
Xingyu Su:
Time Decomposition for Diagnosis of Discrete Event Systems (Extended Abstract). 4030-4031
Diana Troanca:
Conceptual Visualization and Navigation Methods for Polyadic Formal Concept Analysis. 4034-4035
Josep Valls-Vargas:
Automated Narrative Information Extraction Using Non-Linear Pipelines. 4036-4037
Przemyslaw Andrzej Walega:
Reasoning about Space and Change with Answer Set Programming Modulo Theories. 4038-4039
Robert John Winder:
A Framework for Anomaly Reasoning: Interpretation through Concept Formation for Knowledge Transfer and Lifelong Learning. 4040-4041
David R. Winer:
BiPOCL: A Discourse-Driven Story Planner for Procedural Narrative Generation (Extended Abstract). 4042-4043



Meghyn Bienvenu:
Ontology-Mediated Query Answering: Harnessing Knowledge to Get More from Data. 4058-4061
Edith Elkind, Martin Lackner, Dominik Peters:
Preference Restrictions in Computational Social Choice: Recent Progress. 4062-4065
Matti Järvisalo:
Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications. 4066-4069
Ece Kamar:
Directions in Hybrid Intelligence: Complementing AI Systems with Human Intelligence. 4070-4073
Steven Schockaert, Shoaib Jameel:
Plausible Reasoning Based on Qualitative Entity Embeddings. 4078-4081

Pradeep Varakantham:
Sequential Decision Making for Improving Efficiency in Urban Environments. 4090-4093
Mario Alviano, Wolfgang Faber, Martin Gebser:
From Non-Convex Aggregates to Monotone Aggregates in ASP. 4100-4194
Mario Alviano, Nicola Leone:
On the Properties of GZ-Aggregates in Answer Set Programming. 4105-4109
Angelos Angelidakis, Georgios Chalkiadakis:
Optimal Prosumer Decision-Making Using Factored MDPs. 4110-4114
Vaishak Belle, Guy Van den Broeck, Andrea Passerini:
Hashing-Based Approximate Probabilistic Inference in Hybrid Domains: An Abridged Report. 4115-4119
Alina Beygelzimer, Satyen Kale, Haipeng Luo:
Optimal and Adaptive Algorithms for Online Boosting. 4120-4124
Nigel Bosch, Sidney K. D'Mello, Ryan S. Baker, Jaclyn Ocumpaugh, Valerie Shute, Matthew Ventura, Lubin Wang, Weinan Zhao:
Detecting Student Emotions in Computer-Enabled Classrooms. 4125-4129
Abdeslam Boularias, Felix Duvallet, Jean Oh, Anthony Stentz:
Learning Qualitative Spatial Relations for Robotic Navigation. 4130-4134
Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini:
On Broken Triangles. 4135-4139
Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Nir Lipovetzky:
Sequencing Operator Counts. 4140-4144
Benoit Desouter, Marko van Dooren, Tom Schrijvers, Alexander Vandenbroucke:
Tabling as a Library with Delimited Control. 4145-4149

Peter Gregory, Stephen Cresswell:
Domain Model Acquisition in the Presence of Static Relations in the LOP System. 4160-4164
Chinmay Hegde, Piotr Indyk, Ludwig Schmidt:
A Nearly-Linear Time Framework for Graph-Structured Sparsity. 4165-4169
Joshua Hernandez, Konstantine Tsotsos, Stefano Soatto:
Observability, Identifiability and Sensitivity of Vision-Aided Inertial Navigation. 4170-4174
Nan Jiang, Alex Kulesza, Satinder P. Singh, Richard L. Lewis:
The Dependence of Effective Planning Horizon on Model Accuracy. 4180-4189
Philip Kilby, Tommaso Urli:
Fleet Design Optimisation from Historical Data Using Constraint Programming and Large Neighbourhood Search. 4185-4189
Peter Kontschieder, Madalina Fiterau, Antonio Criminisi, Samuel Rota Bulò:
Deep Neural Decision Forests. 4190-4194
Bo Liu, Ji Liu, Mohammad Ghavamzadeh, Sridhar Mahadevan, Marek Petrik:
Proximal Gradient Temporal Difference Learning Algorithms. 4195-4199
Morten Mossige, Arnaud Gotlieb, Hein Meling:
Generating Tests for Robotized Painting Using Constraint Programming. 4200-4204
Andrew Reynolds, Jasmin Christian Blanchette:
A Decision Procedure for (Co)datatypes in SMT Solvers. 4205-4209
Wen Sun, J. Andrew Bagnell:
Online Bellman Residual and Temporal Difference Algorithms with Predictive Error Guarantees. 4213-4217
Elaine Wah, Mason Wright, Michael P. Wellman:
Welfare Effects of Market Making in Continuous Double Auctions: Extended Abstract. 4218-4222
Yi Yang, Shimei Pan, Yangqiu Song, Jie Lu, Mercan Topkara:
Improving Topic Model Stability for Effective Document Exploration. 4223-4227
Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki:
MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. 4228-4233
C. Anantaram, Sunil Kumar Kopparapu, Chiragkumar Patel, Aditya Mittal:
Repairing General-Purpose ASR Output to Improve Accuracy of Spoken Sentences in Specific Domains Using Artificial Development Approach. 4234-4235
Roman Barták, Michal Koutný, David Obdrzálek:
Practical 3D Tracking Using Low-Cost Cameras. 4236-4237
Noam Brown, Tuomas Sandholm:
Baby Tartanian8: Winning Agent from the 2016 Annual Computer Poker Competition. 4238-4239
Wanyun Cui, Yanghua Xiao, Wei Wang:
KBQA: An Online Template Based Question Answering System over Freebase. 4240-4241
Mauro Dragoni, Célia da Costa Pereira, Andrea G. B. Tettamanzi, Serena Villata:
SMACk: An Argumentation Framework for Opinion Mining. 4242-4243
Michael Freed, Brian Burns, Aaron Heller, Daniel Sánchez, Sharon Beaumont-Bowman:
A Virtual Assistant to Help Dysphagia Patients Eat Safely at Home. 4244-4245
Matthew Johnson, Katja Hofmann, Tim Hutton, David Bignell:
The Malmo Platform for Artificial Intelligence Experimentation. 4246-4247
James R. Kirk, Aaron Mininger, John E. Laird:
A Demonstration of Interactive Task Learning. 4248-4249
Sanmukh R. Kuppannagari, Rajgopal Kannan, Charalampos Chelmis, Viktor K. Prasanna:
Implementation of Learning-Based Dynamic Demand Response on a Campus Micro-Grid. 4250-4251
Domenico Lembo, Daniele Pantaleone, Valerio Santarelli, Domenico Fabio Savo:
Eddy: A Graphical Editor for OWL 2 Ontologies. 4252-4253
Chao-Chun Liang, Kuang-Yi Hsu, Chien-Tsung Huang, Chung-Min Li, Shen-Yu Miao, Keh-Yih Su:
A Tag-Based Statistical English Math Word Problem Solver with Understanding, Reasoning and Explanation. 4254-4255
Yu Lu, Gim Guan Chua, Huayu Wu, Clement Shi Qi Ong:
An Intelligent System for Taxi Service Monitoring, Analytics and Visualization. 4256-4257
Andrea Marrella, Massimo Mecella, Sebastian Sardiña:
An Adaptive Process Management System Implementation Based on Situation Calculus, Indigolog and Classical Planning. 4258-4259
J. Pablo Munoz, Bing Li, Xuejian Rong, Jizhong Xiao, Yingli Tian, Aries Arditi:
Demo: Assisting Visually Impaired People Navigate Indoors. 4260-4261
Jacobo Rouces, Gerard de Melo, Katja Hose:
Klint: Assisting Integration of Heterogeneous Knowledge. 4262-4263
Muhammad Rizwan Saeed, Charalampos Chelmis, Viktor K. Prasanna:
Thou Shalt ASQFor and Shalt Receive the Semantic Answer. 4264-4265
Shirin Sohrabi, Octavian Udrea, Anton V. Riabov, Oktie Hassanzadeh:
Interactive Planning-Based Hypothesis Generation with LTS++. 4268-4269
Srikanth Tamilselvam, Biplav Srivastava, Vishalaksh Aggarwal:
Data-Based Promotion of Tourist Events with Minimal Operational Impact. 4270-4271
Feiyi Tang, Jia Zhu, Yang Cao, Sanli Ma, Yulong Chen, Jing He, Changqin Huang, Gansen Zhao, Yong Tang:
PARecommender: A Pattern-Based System for Route Recommendation. 4272-4273
Donghan Wang, Madalina Fiterau, Artur Dubrawski:
VIPR: An Interactive Tool for Meaningful Visualization of High-Dimensional Data. 4274-4275
Shiqi Zhang, Dongcai Lu, Xiaoping Chen, Peter Stone:
Robot Scavenger Hunt: A Standardized Framework for Evaluating Intelligent Mobile Robots. 4276-4277



Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
